Moondanos, J.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE Comput. Soc Sixth IEEE International High-Level Design Validation and Test Workshop - Monterey, CA, USA (7-9 Nov. 2001)] Sixth IEEE International High-Level Design Validation and Test Workshop - An enhanced cut-points algorithm in formal equivalence verification

Khasidashvili, Z., Moondanos, J., Kaiss, D., Hanna, Z.

Year:

2001

Language:

english

File:

PDF, 88 KB

english, 2001

2

[IEEE 2018 13th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS) - Taormina, Italy (2018.4.9-2018.4.12)] 2018 13th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS) - A power-supply noise aware dynamic timing analysis methodology, based on a statistical prediction engine

Tsiampas, Michael, Evmorfopoulos, Nestor, Daloukas, Konstantis, Moondanos, John, Stamoulis, Georgios

Year:

2018

Language:

english

File:

PDF, 698 KB

english, 2018

3

[IEEE 16th Asian Test Symposium (ATS 2007) - Beijing, China (2007.10.8-2007.10.11)] 16th Asian Test Symposium (ATS 2007) - An Efficient Diagnostic Test Pattern Generation Framework Using Boolean Satisfiability

Zheng, Feijun, Cheng, Kwang-Ting, Yan, Xiaolang, Moondanos, John, Hanna, Ziyad

Year:

2007

Language:

english

File:

PDF, 331 KB

english, 2007

4

[IEEE Comput. Soc. Press 4th Great Lakes Symposium on VLSI - Notre Dame, IN, USA (4-5 March 1994)] Proceedings of 4th Great Lakes Symposium on VLSI - Abstraction of data path registers for multilevel verification of large circuits

Hoskote, Y.V., Moondanos, J., Abraham, J.A., Fussell, D.S.

Year:

1994

Language:

english

File:

PDF, 389 KB

english, 1994

5

[IEEE 2003. Design Automation Conference - Anaheim, CA, USA (2-6 June 2003)] Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451) - A Signal Correlation Guided ATPG solver and its applications for solving difficult industrial cases

Feng Lu,, Wang, L.-C., Cheng, K.-T., Moondanos, J., Hanna, Z.

Year:

2003

Language:

english

File:

PDF, 776 KB

english, 2003

6

[ACM Press the 2006 conference - Yokohama, Japan (2006.01.24-2006.01.27)] Proceedings of the 2006 conference on Asia South Pacific design automation - ASP-DAC '06 - Generation of shorter sequences for high resolution error diagnosis using sequential SAT

Pan, Sung-Jui (Song-Ra), Cheng, Kwang-Ting, Moondanos, John, Hanna, Ziyad

Year:

2006

Language:

english

File:

PDF, 149 KB

english, 2006

7

From Error to Error: Logic Debugging in the Many-Core Era

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 159 KB

english, 2007

8

Automatic verification of implementations of large circuits against HDL specifications

Hoskote, Y.V., Abraham, J.A., Fussell, D.S., Moondanos, J.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

1997

Language:

english

File:

PDF, 322 KB

english, 1997

9

[IEEE Comput. Soc IEEE International High Level Design Validation and Test Workshop (HLDVT'02) - Cannes, France (27-29 Oct. 2002)] Seventh IEEE International High-Level Design Validation and Test Workshop, 2002. - TRANS: efficient sequential verification of loop-free circuits

Khasidashvili, Z., Moondanos, J., Hanna, Z.

Year:

2002

Language:

english

File:

PDF, 546 KB

english, 2002

10

[IEEE Computer Society Press 1993 European Conference on Design Automation with the European Event in ASIC Design - Paris, France (22-25 Feb. 1993)] 1993 European Conference on Design Automation with the European Event in ASIC Design - VERTEX: VERification of Transistor-level circuits based on model EXtraction

Moondanos, J., Wehbeh, J.A., Abrahamn, J.A., Saab, D.G.

Year:

1993

Language:

english

File:

PDF, 504 KB

english, 1993

11

[IEEE 16th Asian Test Symposium (ATS 2007) - Beijing, China (2007.10.8-2007.10.11)] 16th Asian Test Symposium (ATS 2007) - An Efficient Diagnostic Test Pattern Generation Framework Using Boolean Satisfiability

Zheng, Feijun, Cheng, Kwang-Ting, Yan, Xiaolang, Moondanos, John, Hanna, Ziyad

Year:

2007

Language:

english

File:

PDF, 331 KB

english, 2007

12

[IEEE International Test Conference 1992 - Baltimore, MD (Sept. 20-24 1992)] Proceedings International Test Conference 1992 - Sequential Redundancy Identification Using Verification Techniques

Moondanos, J., Abraham, J.

Year:

1992

Language:

english

File:

PDF, 840 KB

english, 1992

13

[IEEE ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 - Yohohama, Japan (27-30 Jan. 2004)] ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753) - Preserving synchronizing sequences of sequential circuits after retiming

Mneimneh, M.N., Sakallah, K.A., Moondanos, J.

Year:

2004

Language:

english

File:

PDF, 462 KB

english, 2004

14

[IEEE 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2010.11.7-2010.11.11)] 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Characterization of the worst-case current waveform excitations in general RLC-model power grid analysis

Evmorfopoulos, Nestor, Rammou, Maria-Aikaterini, Stamoulis, George, Moondanos, John

Year:

2010

Language:

english

File:

PDF, 749 KB

english, 2010

15

[IEEE 3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005. - New York, NY, USA (2005.09.23-2005.09.23)] 3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005. - JPEG encoding on the Intel MXP5800: a platform-based design case study

Davare, A., Qi Zhu,, Moondanos, J., Sangiovanni-Vincentelli, A.

Year:

2005

Language:

english

File:

PDF, 181 KB

english, 2005

16

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - A signal correlation guided ATPG solver and its applications for solving difficult industrial cases

Lu, Feng, Wang, Li-C., Cheng, K.-T. (Tim), Moondanos, John, Hanna, Ziyad

Year:

2003

Language:

english

File:

PDF, 183 KB

english, 2003

17

[IEEE 7th International Conference on VLSI Design - Calcutta, India (5-8 Jan. 1994)] Proceedings of 7th International Conference on VLSI Design - Verification of circuits described in VHDL through extraction of design intent

Hoskote, Y.V., Moondanos, J., Abraham, J.A., Fussell, D.S.

Year:

1994

Language:

english

File:

PDF, 431 KB

english, 1994

18

[IEEE Asia and South Pacific Conference on Design Automation, 2006. - Yokohama, Japan (Jan. 24, 2006)] Asia and South Pacific Conference on Design Automation, 2006. - Generation of shorter sequences for high resolution error diagnosis using sequential SAT

Sung-Jui Pan,, Kwang-Ting Cheng,, Moondanos, J., Hanna, Z.

Year:

2006

Language:

english

File:

PDF, 235 KB

english, 2006

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски